[MINIOS] Fix to use new event-channel API properly.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 15 Sep 2006 10:07:25 +0000 (11:07 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 15 Sep 2006 10:07:25 +0000 (11:07 +0100)
commitd1423b28827cdc817d486df09db3cf98d4e83201
tree54684ab17eb39231d9577285b0dc4ed218c64dc9
parenteff691edc0cb3de7725212624749f8e3c3d7a8cd
[MINIOS] Fix to use new event-channel API properly.
Signed-off-by: Mark Williamson <mark.williamson@cl.cam.ac.uk>
extras/mini-os/events.c
extras/mini-os/include/events.h
extras/mini-os/include/x86/x86_32/hypercall-x86_32.h